A reconstruction of multipreference closure
نویسندگان
چکیده
The paper describes a preferential approach for dealing with exceptions in KLM logics, based on the rational closure. It is well known that closure does not allow an independent handling of inheritance different defeasible properties concepts. In this work, we consider alternative construction, called Multi Preference (MP-closure), which has been first considered reasoning DLs. We reconstruct notion MP-closure propositional case and show it natural (weaker) variant Lehmann's lexicographic closure, appears to be too bold some cases. defines consequence relation that, although weaker than stronger Relevant Closure.
منابع مشابه
A Modal Reconstruction of Rational Closure
This paper provides a general semantic framework for nonmonotonic reasoning, based on a minimal models semantics on the top of KLM systems for nonmonotonic reasoning. This general framework can be instantiated in order to provide a semantic reconstruction within modal logic of the notion of rational closure, introduced by Lehmann and Magidor. We give two characterizations of rational closure: t...
متن کاملHORPO with Computability Closure: A Reconstruction
This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for the computability closure, and bound variables are handled explicitly, making it possible to handle recursors for arbitrary strictly positive inductive types.
متن کاملPrimary Closure of A Sternal Cleft in A Neonate
A three day old neonate was referred to our department with a problem of a sternal cleft. Sternal clefts are often associated with a myriad of other abnormalities ranging from mild to severe. We present our experience with such a problem, and review the current literature concerning it.
متن کاملWeb Application Migration with Closure Reconstruction
Due to its high portability and simplicity, web application (app) based on HTML/JavaScript/CSS has been widely used for various smart-device platforms. To take advantage of its wide platform pool, a new idea called app migration has been proposed for the web platform. Web app migration is a framework to serialize a web app running on a device and restore it in another device to continue its exe...
متن کاملTree Reconstruction via a Closure Operation on Partial Splits
A fundamental problem in biological classification is the reconstruction of phylogenetic trees for a set X of species from a collection of either subtrees or qualitative characters. This task is equivalent to tree reconstruction from a set of partial X–splits (bipartitions of subsets of X). In this paper, we define and analyse a “closure” operation for partial X–splits that was informally propo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2021
ISSN: ['2633-1403']
DOI: https://doi.org/10.1016/j.artint.2020.103398